1. Complexity of proofs and their transformations in axiomatic theories /
پدیدآورنده : V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Proof theory
رده :
QA9
.
54
.
O7413
1993
2. Logical and logico-mathematical calculi.2
پدیدآورنده : edited by V. P. Orevkov
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
1
.
P736
Vol
.
121
3. Problems in the constructive trend in mathematics
پدیدآورنده : edited by V. P. Orevkov and M. A. Sanin
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Constructive mathematics
رده :
QA
1
.
P736
Vol
.
93
,
etc
4. The Calculi of symbolic logic, 1
پدیدآورنده : edited by V. P. Orevkov
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
1
.
P736
Vol
.
98
